Published in: Dagstuhl Reports, Volume 13, Issue 6 (2024)
Marijn J. H. Heule, Inês Lynce, Stefan Szeider, and Andre Schidler. SAT Encodings and Beyond (Dagstuhl Seminar 23261). In Dagstuhl Reports, Volume 13, Issue 6, pp. 106-122, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{heule_et_al:DagRep.13.6.106, author = {Heule, Marijn J. H. and Lynce, In\^{e}s and Szeider, Stefan and Schidler, Andre}, title = {{SAT Encodings and Beyond (Dagstuhl Seminar 23261)}}, pages = {106--122}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {13}, number = {6}, editor = {Heule, Marijn J. H. and Lynce, In\^{e}s and Szeider, Stefan and Schidler, Andre}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.6.106}, URN = {urn:nbn:de:0030-drops-196409}, doi = {10.4230/DagRep.13.6.106}, annote = {Keywords: constraint propagation, lower and upper bounds, problem formulation, propositional satisfiability, symmetry breaking} }
Published in: OASIcs, Volume 64, Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)
Filipe Gouveia, Inês Lynce, and Pedro T. Monteiro. Model Revision of Logical Regulatory Networks Using Logic-Based Tools. In Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018). Open Access Series in Informatics (OASIcs), Volume 64, pp. 23:1-23:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{gouveia_et_al:OASIcs.ICLP.2018.23, author = {Gouveia, Filipe and Lynce, In\^{e}s and Monteiro, Pedro T.}, title = {{Model Revision of Logical Regulatory Networks Using Logic-Based Tools}}, booktitle = {Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018)}, pages = {23:1--23:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-090-3}, ISSN = {2190-6807}, year = {2018}, volume = {64}, editor = {Dal Palu', Alessandro and Tarau, Paul and Saeedloei, Neda and Fodor, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2018.23}, URN = {urn:nbn:de:0030-drops-98892}, doi = {10.4230/OASIcs.ICLP.2018.23}, annote = {Keywords: Logical Regulatory Networks, Model Revision, Answer Set Programming, Boolean Satisfiability, Logic-based tools} }
Published in: LIPIcs, Volume 16, Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL (2012)
Inês Lynce. Satisfiability: where Theory meets Practice (Invited Talk). In Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL. Leibniz International Proceedings in Informatics (LIPIcs), Volume 16, pp. 12-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{lynce:LIPIcs.CSL.2012.12, author = {Lynce, In\^{e}s}, title = {{Satisfiability: where Theory meets Practice}}, booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL}, pages = {12--13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-42-2}, ISSN = {1868-8969}, year = {2012}, volume = {16}, editor = {C\'{e}gielski, Patrick and Durand, Arnaud}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2012.12}, URN = {urn:nbn:de:0030-drops-36600}, doi = {10.4230/LIPIcs.CSL.2012.12}, annote = {Keywords: Propositional Satisfiability, SAT solvers, Applications} }
Feedback for Dagstuhl Publishing